Autogenerated HTML docs for v1.6.4-122-g6ffd7
diff --git a/user-manual.txt b/user-manual.txt index 0b88a51..67ebffa 100644 --- a/user-manual.txt +++ b/user-manual.txt
@@ -4131,7 +4131,7 @@ `git rev-list` is the original version of the revision walker, which _always_ printed a list of revisions to stdout. It is still functional, -and needs to, since most new Git programs start out as scripts using +and needs to, since most new Git commands start out as scripts using `git rev-list`. `git rev-parse` is not as important any more; it was only used to filter out
